/*
 * @Author: czy
 * @Date: 2021-07-12 23:45:49
 * @LastEditTime: 2021-07-15 20:17:43
 */
#include "sys/system.h"
#include "sys/config.h"

#include "lib/scheduler.h"
#include "lib/state.h"

extern int main(void);

void process_init(void)
{
    timer(update_run_time, PROCESS_TIMING_ACCURACY);
    createProcess(idle_task_body);
    init_task(main);
}